A Logical Analysis of Commitment Dynamics
نویسنده
چکیده
The aim of this work is to propose a model-theoretic semantics and a complete logic for the dynamics of commitments. In the first part of the article, a formalization of the concept of social commitment in STIT logic is presented. STIT is one of the most prominent formal accounts of agency. It is the logic of constructions of the form “agent i sees to it that φ”. In the second part, the article presents an extension of STIT logic by dynamic operators which enable to describe two basic operations on commitment: commitment creation and commitment cancelation. The logic is used to develop an axiomatic and semantic analysis of commitment change in multi-agent systems.
منابع مشابه
Providing a Model of the Effect of Emotional Commitment and Continued Commitment on Customers Going to Buy and Support Intention Case Study: Enghelab Sport Complex of Tehran
The aim of current study was providing a model of the effect of emotional commitment and continued commitment on customers’ going to buy and Support intention. The statistical population was the whole consumers of Enghelab sport complex of Tehran that based on the number of questions of questionnaires (30 questions) 300 samples were selected. With reviewing the literature of the study, the prim...
متن کاملMark Norris Lance and Philip Kremer
'Entailment' can be said in many ways. In the present paper, we sketch a linguistic theory which motivates taking 'A entails B' to mean 'commitment to A is, in part, commitment to B', and we present four formal systems designed to capture this concept. These four systems turn out (somewhat surprisingly) to be the strict implicational fragments of the modal logics K, T, K4, and $4 (see Hughes an...
متن کاملManaging Non-Work Related Computing within an Organization: The Effects of Two Disciplinary Approaches on Employees' Commitment to Change
This study compares the effectiveness of two approaches, punitive consequence and logical consequence, to change employees’ non-work related computing (NWRC) behaviors in the workplace. Employees’ affective commitment to change (change by desire), normative commitment to change (change by obligation), and continuance commitment to change (change by cost-benefit comparison) were compared. A betw...
متن کاملبررسی اثر بخشی الگوی چند عاملی پرورش تفکر انتقادی در محیطهای یادگیری الکترونیکی
In the third millennium, people deal with multiple, diverse, and complicated problems as they cannot possess full control over the information, which is constantly produced and accumulated. Having a high skill of critical thinking for assessing the results of different issues and decision making about them based on evidences is an unavoidable necessity. The researchers of this work proposed a m...
متن کاملA Pragmatic and Semantic Unified Framework for Agent Communication
In this thesis, we propose a unified framework for the pragmatics and the semantics of agent communication. Pragmatics deals with the way agents use communicative acts when conversing. It is related to the dynamics of agent interactions and to the way of connecting individual acts while building complete conversations. Semantics is interested in the meaning of these acts. It lays down the found...
متن کامل